الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 3 /3
978-3-540-69100-6
Model Driven Architecture - Foundations and Applications : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings

The 31 revised full papers presented - 21 research papers and 10 industry papers - were carefully reviewed and selected from ...

اقرأ المزيد
978-3-540-72901-3
Model Driven Architecture- Foundations and Applications

This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations ...

اقرأ المزيد
978-3-540-77395-5
Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

اقرأ المزيد
عدد الكتب: 1 - 3 /3